(0 12 1)(2 6 4)(3 20 16)(5 10 7)(8 13 11)(9 18 14)(15 19 17)
ALLOWS (11/8)-SEQUENCE
1: (0 12 17)
(0 15 19 17 1)(2 6 4)(3 20 16)(5 10 7)(8 13 11)(9 18 14)(12)
2: (9 18 14)
(0 15 19 17 1)(2 6 4)(3 20 16)(5 10 7)(8 13 11)(9)(12)(14)(18)
3: (8 13 11)
(0 15 19 17 1)(2 6 4)(3 20 16)(5 10 7)(8)(9)(11)(12)(13)(14)(18)
4: (1 19 17)
(0 15 19)(1)(2 6 4)(3 20 16)(5 10 7)(8)(9)(11)(12)(13)(14)(17)(18)